| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 462314 | ||
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 464282 | ||||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 458057 | Mo 16:30-18:00 AH IV (2354|030) (×13) Di 12:30-14:00 AH V (2356|050) (×14) | |||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 465978 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 465959 | ||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 463369 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 459420 | Mo 10:30-12:00 AH I (2350|028) (×12) Mo 10:30-12:00 AH VI (2356|051) (×1) Di 08:30-10:00 AH I (2350|028) (×13) Mi 10:15-11:00 AH II (2350|111) (×12) |